Loop Body is Executed Exactly Once (LBEEO)

Description:

LBEEO detects situations where the condition of a do loop always evaluates to false. The body of such a loop executes only once.

Incorrect:

repeat
    ...
until true;